$P$ $\Leftarrow\!\Rightarrow$ $Q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($P$ $\Rightarrow$ $Q$) \& ($P$ $\Leftarrow\!$ $Q$)